CREATE FUNCTION public.idx(integer[], integer) 
 RETURNS integer AS 
$BODY$idx$BODY$
 LANGUAGE 'c' IMMUTABLESTRICT ;